Concurrency , Distribution and Object Orientation Expressed in Map Theory

This paper describes how concurrency, distribution and object orientation can be expressed in map theory, using a subset of the Emerald language as an example. In particular the paper covers parallelism in which a created process can continue to run after the creating process halts. The semantics is presented in a continuation passing style in map theory. Map theory is a foundation of mathematics with the same expressive power (w.r.t. consistency) as set theory, but it builds upon-calculus and functions instead of logic and sets. It allows unlimited recursion which, combined with its expressive power, makes it ideal for expressing semantics of programming languages. The paper serves three purposes: First, it shows how map theory can be used in denitions of semantics. Second, it shows how concurrency and distribution can be modelled. Third, it gives a semantics for a subset of Emerald, which can be scaled up to cover all of Emerald